Fluted Formulas and the Limits of Decidability

Decidability and Tameness in the Theory of Finite Semigroups

Evaluation of Glomerular Filtration Rate Estimating Formulas in Diabetic Patients with Chronic Kidney Disease

Objective: Measurement of glomerular filtration rate (GFR) is the best determinant in assessment of kidney function for diagnostic and therapeutic purposes. As extremely accurate methods of GFR measurement (i.e. Inulin clearance) are expensive and Time-consuming and due to limitations of the 24 hour urine collection method, some formula have been developed for the GFR measurement. Here we have ...

Completeness and Decidability in Sequence Logic

Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly ordered sets of models of the underlying logic. This interpretation induces an entailment relation between sequence formulas which strongly depends on which orderings one wishes to consider. Some important classes are:...

Decidability and Complexity of Definability within the Class of All Partitions

This paper is devoted to exploring modal definability of firstorder sentences and first-order definability of modal formulas. It investigates the decidability and the complexity of these problems within the class of all partitions.

Experimental Study on the Flow and Heat Transfer Characteristics of TiO2-Water Nanofluids in a Spirally Fluted Tube

The flow and heat transfer characteristics of TiO2-water nanofluids with different nanoparticle mass fractions in a spirally fluted tube and a smooth tube are experimentally investigated at different Reynolds numbers. The effects of pH values and doses of dispersant agent on the stability of TiO2-water nanofluids are discussed. The effects of nanoparticle mass fractions and Reynolds numbers on ...